ma{-}interface{-}non{-}degenerate($I$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:Id. ($i$ $\in$ ma{-}interface{-}locs($I$) $\in$ Id) $\Rightarrow$ ($\exists$$k$:Knd. ($k$ $\in$ ma{-}interface{-}dom($I$;$i$) $\in$ Knd))